ejercicios de reglas de inferencia